Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
471	Honors Algorithms Lecture: Dynamic Programming Julian Panetta (), based on material from Alan Siegel September 26, 2011 Note: We covered up through 6.3 in class. I fixed the errors we caught, but Add to Reading List Source URL: julianpanetta.com Language: English - Date: 2012-02-14 20:25:30 Theoretical computer science Data types Dynamic programming Mathematical optimization Operations research Optimal control Tree Recursion B-tree Binary tree Algorithm Matrix chain multiplication
472	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:47:13 Theoretical computer science Rough set Rule induction Data set Algorithm Data
473	Encapsulation and Dynamic Modularity in the π-calculus Daniel Hirschkoff, Tom Hirschowitz, Samuel Hym, Aur´elien Pardon and Damien Pous Oslo, June 7th, 2008 Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Process calculi Theoretical computer science -calculus Distribution
474	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
475	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model
476	Convergence of Hypervolume-Based Archiving Algorithms I: Effectiveness Karl Bringmann Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:23 Theoretical computer science Algorithm Mathematical logic NC Spectral theory
477	Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-11-24 11:55:34 Avionics Theoretical computer science Aircraft collision avoidance systems Warning systems Traffic collision avoidance system Air traffic control Formal methods Self-separation Unmanned aerial vehicle Formal verification
478	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
479	FIRST GRADE MATH JOURNAL FGMJPDF-WORG80 \| 24 Page \| File Size 1,263 KB \| 24 Aug, 2016 TABLE OF CONTENT Introduction Add to Reading List Source URL: woodworking-books.org Language: English - Date: 2016-08-20 21:27:49 Differential geometry Rough set Theoretical computer science
480	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract

UPDATE